Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·2d
🧮Programming Language Theory
Flag this post
A Short Introduction to Categorical Logic
youtube.com·3d
🔢Mathematical Logic
Flag this post
Entropy in algorithm analysis
11011110.github.io·17h
📈Complexity Theory
Flag this post
Weak-To-Strong Generalization
lesswrong.com·12h
🎲Probabilistic Programming
Flag this post
Viruses of the Mind
🧮Programming Language Theory
Flag this post
Scala vs F#
alexn.org·1d
⚙Functional Programming
Flag this post
thread on history of calculus, in this thread i will trace origin of calculus in most unbiased way possible
threadreaderapp.com·2h
🧮Programming Language Theory
Flag this post
Jordan triple system
ncatlab.org·1d
🎯Constraint Programming
Flag this post
Finally organising my library: Obsidian Bases + NAS, first a book gallery with calibre/readera, later add research papers and zotero
🧮Programming Language Theory
Flag this post
Structure
barrel.bearblog.dev·13h
🧮Programming Language Theory
Flag this post
Handbook of Satisfiability (2021)
🎯Constraint Programming
Flag this post
[Tips, very lenghty] What your language should probably need to be able to communicate effectively.
🧮Programming Language Theory
Flag this post
Double categories for adaptive quantum computation
arxiv.org·2d
🧮Programming Language Theory
Flag this post
“As of today, your name is Ahabâ€: Generic Critique as Reparative Praxis in
gamestudies.org·1d
🧮Programming Language Theory
Flag this post
InteractiveOmni: A Unified Omni-modal Model for Audio-Visual Multi-turn Dialogue
🧫Cellular Automata
Flag this post
Loading...Loading more...